Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
711	Checking Finite Traces using Alternating Automata ∗ Bernd Finkbeiner and Henny Sipma Computer Science Department, Stanford University Stanford, CA[removed]Abstract. Alternating automata have been commonly used as a basi Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Logic Model theory Theoretical computer science Linear temporal logic Temporal logic Ω-automaton Model checking Interpretation Structure Automata theory Formal languages Mathematics
712	Paper AD02 Solving Samurai Sudoku Puzzles – A First Attempt John R Gerlach, CSG Inc., Raleigh, NC USA ABSTRACT Imagine a Sudoku puzzle that consists of a 9x9 matrix having about 30 out of 81 cells populated. Now, imag Add to Reading List Source URL: www.pharmasug.org Language: English - Date: 2013-05-05 15:10:29 Puzzles Logic puzzles NP-complete problems Linear algebra Sudoku Matrix Vector space Sudoku algorithms Combination puzzle Mathematics Algebra Recreational mathematics
713	PSP-based scalable compact FinFET model G.D.J. Smit, A.J. Scholten, G. Curatola, R. van Langevelde1, G. Gildenblat2, and D.B.M. Klaassen NXP Semiconductors, Research, Eindhoven, The Netherlands 1Philips Add to Reading List Source URL: www.nsti.org Language: English - Date: 2007-07-11 13:39:16 Multigate device Psi Linear temporal logic
714	Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities Mark Bun ∗ Add to Reading List Source URL: privacytools.seas.harvard.edu Language: English - Date: 2013-07-29 14:33:15 Polynomial Mathematical analysis Linear temporal logic Μ operator Mathematics Functions and mappings Function
715	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-10-31 12:15:41 Mathematics C-algebras Projection linear algebra Von Neumann algebra Approximately finite dimensional C-algebra Linear temporal logic Mathematical analysis Operator theory Functional analysis
716	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-10-19 16:24:14 Function Burnside ring Linear temporal logic Approximately finite dimensional C*-algebra Abstract algebra Mathematics Algebra
717	PDF Document Add to Reading List Source URL: www.stat.ncsu.edu Language: English - Date: 2013-07-24 14:11:22 Mathematical logic Symbol Linear temporal logic
718	PDF Document Add to Reading List Source URL: www.stat.missouri.edu Language: English - Date: 2010-09-23 13:18:43 Regression analysis Statistical models Bayesian statistics Markov models Entailment Metalogic Prior probability Generalized linear model Statistical power Statistics Logic Probability and statistics
719	Package ‘assertthat’ July 2, 2014 Title Easy pre and post assertions. Version 0.1 Description assertthat is an extension to stopifnot() that makes it easy to declare the pre and post conditions that you code should Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 11:16:52 Abstract algebra Linear algebra Subroutines Assertion Debugging Logic in computer science Function Main function Objective-C Algebra Mathematics Software engineering
720	A conjugate prior for discrete hierarchical log-linear models Add to Reading List Source URL: www.math.yorku.ca Language: English - Date: 2009-09-21 16:08:38 Estimation theory Conjugate prior Exponential family Entailment Log-linear model Maximum likelihood Expectation–maximization algorithm Statistics Logic Bayesian statistics

UPDATE